A Formal General Setting for Dialogue Protocols

In this paper, we propose a general and abstract formal setting for argumentative dialogue protocols. We identify a minimal set of basic parameters that characterize dialogue protocols. By combining three parameters, namely the possibility or not of backtracking, the number of moves per turn and the turn-taking of the agents, we identify eight classes of protocols. We show that those classes can be reduced to three main classes: a ‘rigid’ class, an ‘intermediary’ one and a ‘flexible’ one. Although different proposals have been made for characterizing dialogue protocols, they usually take place in particular settings, where the locutions uttered and the commitments taken by the agents during dialogues and even the argumentation system that is involved are fixed. The present approach only assumes a minimal specification of the notion of dialogue essentially based on its external structure. This allows for protocol comparison and ensures the generality of the results.